principal type scheme


English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.

Look at other dictionaries:

  • Principal homogeneous space — In mathematics, a principal homogeneous space, or torsor, for a group G is a set X on which G acts freely and transitively. That is, X is a homogeneous space for G such that the stabilizer of any point is trivial. An analogous definition holds in …   Wikipedia

  • Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… …   Wikipedia

  • Typinferenz — Durch Typinferenz (auch Typableitung) kann in manchen (stark typisierten) Programmiersprachen viel Schreibarbeit eingespart werden, indem auf die Niederschrift von Typangaben verzichtet wird, die aus den restlichen Angaben und den… …   Deutsch Wikipedia

  • Typinferenz nach Hindley-Milner — Hindley Milner (HM) ist ein klassisches Verfahren der Typinferenz mit parametrischem Polymorphismus für den Lambda Kalkül. Es wurde erstmals von J. Roger Hindley[1] beschrieben und später von Robin Milner[2] wiederentdeckt. Luis Damas trug eine… …   Deutsch Wikipedia

  • Address (geography) — An address is a collection of information, presented in a mostly fixed format, used for describing the location of a building, apartment, or other structure or a plot of land, generally using political boundaries and street names as references,… …   Wikipedia

  • Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …   Wikipedia

  • pottery — /pot euh ree/, n., pl. potteries. 1. ceramic ware, esp. earthenware and stoneware. 2. the art or business of a potter; ceramics. 3. a place where earthen pots or vessels are made. [1475 85; POTTER1 + Y3] * * * I One of the oldest and most… …   Universalium

  • History of Western typography — Contemporary typographers view typography as craft with a very long history tracing its origins back to the first punches and dies used to make seals and currency in ancient times. The basic elements of typography are at least as old as… …   Wikipedia

  • Cruiser — For other uses, see Cruiser (disambiguation). USS Port Royal (CG 73), a Ticonderoga class guided missile cruiser, launched in 1992. A cruiser is a type of warship. The term has been in use for several hundreds of years, and has had… …   Wikipedia

  • Radon — This article is about the chemical element. For other uses, see Radon (disambiguation). astatine ← radon → francium Xe ↑ Rn ↓ Uuo …   Wikipedia

  • Portlethen Academy — Infobox scottish primary, secondary and nursery school name= Portlethen Academy image size= 100px caption= Portlethen Academy Logo 2006 present headteacher= headmistress= rector= Albert Swinborn principal= type= State Secondary School educational …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.